Eléments de l'association

	Sarre (Land)	43
	Jürgen Stuber	20
	Sarre (Land) *Sauf* Jürgen Stuber"	41
	Jürgen Stuber *Sauf* Sarre (Land)"	18
	Sarre (Land) Et Jürgen Stuber	2
	Sarre (Land) Ou Jürgen Stuber	61
	*Corpus*	24195

List of bibliographic references

Number of relevant bibliographic references: 2.

Ident.	Authors (with country if any)	Title
007984	Harald Ganzinger [Allemagne] ; Jürgen Stuber [France]	Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
00A915	Jürgen Stuber [Allemagne]	Theory Path Orderings

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022